qMultiSum--a package for proving q-hypergeometric multiple summation identities
نویسنده
چکیده
A Mathematica package for finding recurrences for q-hypergeometric multiple sums is introduced. Together with a detailed description of the theoretical background, we present several examples to illustrate its usage and range of applicability. In particular, various computer proofs of recently discovered identities are exhibited.
منابع مشابه
Nonterminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
We present a systematic method for proving nonterminating basic hypergeometric identities. Assume that k is the summation index. By setting a parameter x to xqn, we may find a recurrence relation of the summation by using the q-Zeilberger algorithm. This method applies to almost all nonterminating basic hypergeometric summation formulas in the book of Gasper and Rahman. Furthermore, by comparin...
متن کاملCurious Extensions of Ramanujan’s 1ψ1 Summation Formula
We deduce new q-series identities by applying inverse relations to certain identities for basic hypergeometric series. The identities obtained themselves do not belong to the hierarchy of basic hypergeometric series. We extend two of our identities, by analytic continuation, to bilateral summation formulae which contain Ramanujan’s 1ψ1 summation and a very-well-poised 4ψ6 summation as special c...
متن کاملFINE-TUNING ZEILBERGER’S ALGORITHM The Methods of Automatic Filtering and Creative Substituting
It is shown how the performance of Zeilberger’s algorithm and its q-version for proving (q-)hypergeometric summation identities can be dramatically improved by a frequently missed optimization on the programming level and by applying certain kinds of substitutions to the summand. These methods lead to computer proofs of identities for which all existing programs have failed so far.
متن کاملABEL’S METHOD ON SUMMATION BY PARTS AND BALANCED q-SERIES IDENTITIES
The Abel method on summation by parts is reformulated to present new and elementary proofs of several classical identities of terminating balanced basic hypergeometric series. The examples strengthen our conviction that as traditional analytical instrument, the revised Abel method on summation by parts is indeed a very natural choice for working with basic hypergeometric series.
متن کاملCombinatorial proofs of Ramanujan's 11 summation and the q-Gauss summation
Theorems in the theory of partitions are closely related to basic hypergeometric series. Some identities arising in basic hypergeometric series can be interpreted in the theory of partitions using Fpartitions. In this paper, Ramanujan’s 1ψ1 summation and the q-Gauss summation are established combinatorially.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 35 شماره
صفحات -
تاریخ انتشار 2003